specification of program
英 [ˌspesɪfɪˈkeɪʃn ɒv ˈprəʊɡræm]
美 [ˌspesɪfɪˈkeɪʃn əv ˈproʊɡræm]
网络 程序说明
双语例句
- This chapter describes the context-free grammars used in this specification to define the lexical and syntactic structure of a program.
这章描述在本规范中使用的上下文无关语法来定义程序的词法和语法结构。 - Secondly, according to specification of L3 layer protocol and software realization requirements, the main modularized program structure has been designed, and on the basis of it, detailed modularized design for specified unit has been done.
其次，根据L3层协议规范以及软件实现要求，设计了模块化的程序主框架，在此基础上对具体单元进行详细的模块化设计。 - Through analysis of the three control flows and measurement and payment modulus, the database design ( by coding to the national specification) is illustrated, including part of the execution and program design of the management information system.
通过对三控制的流程分析，以计量支付模块为例，介绍了数据库设计（采用了国家规范的工程编码方法进行编码设计），给出了部分项目管理信息系统的实现和程序设计。 - Path Independence program is employed as OODB's specification formalism for enhancing the adaptability of database program against the schema evolution.
首先，路径无关语言是一种面向对象数据库的编程语言，它能使程序脱离对细节数据模式的导航，对模式演化具有较强的适应性。 - Object Z notation was used to specify formal specification of object oriented program.
用ObjectZ语言描述面向对象程序的形式化规约。 - With the platform specification, different clients and servers can exchange data by general method, which enhances the expansibility and flexibility of the human-computer interaction program.
由于服务器程序和客户程序遵循平台的协议规范，不同的客户程序与服务器程序之间可以使用通用的方式进行数据交换，从而大大加强人机交互程序的扩展性和灵活性。 - Based on formal specification, this paper proposes a dynamic approach for object oriented testing at cluster level. A testing tool is formed by embedding the approach into the interpreter of the program under test.
提出一种基于规格说明的面向对象簇级动态测试的新方法，并将它完全嵌入到被测试程序的解释器中，从而构成了一个解释型簇级测试工具。 - The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.
该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。 - This paper tells of the thought of the universal tabulation program of FOXBASE automatic generation databse, and gives the specification of operation and the detailed list of the source program.
介绍了在FOXBASE环境下自动生成数据库制表通用程序的思路、使用说明，并给出了源程序清单。 - The thesis design the specification of intrusion detection of the privileged program and network communication in the detail by ASL specification.
本文用ASL详细的设计了特权程序和网络数据包的入侵检测的规范。 - This paper offered a kind of effective method and way for program design. With transformation techniques of program specification, the algorithms of sort and the longest sort ascending can be easily obtained, and the process of program design can be distinctly showed.
本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法，并清晰地展示了程序设计的过程，为算法程序设计提供了一种有效的方法和途径。 - Development of Specification of Program Based on ECC
基于ECC的程序规范描述 - This paper describes the teletext receiver developed in accordance with the Chinese Broadcast Teletext Specification ( WG& 84), the processing method of the multiplex data and the main program block diagram.
本文给出了一种按我国电视文字广播试验规范（WG&84）研制的接收机的构成、多工信号处理方法及主要程序流程。 - But because Z specification itself lacks one entire set of complete translation environment, the development is slower, in view of the fact that Z to the high-level program language automatic transformation thought is proposed.
但由于z规格说明本身缺少一套完整的编译环境，发展较为缓慢，鉴于这个原因提出了Z向高级程序语言自动转化的思想。 - The concept of Executable Specification is advanced which integrates the advantage of specification based and program based test case generation strategy;
提出可执行规约概念，综合利用规约测试和程序测试的优点来进行测试用例生成； - PCI Express in accordance with the agreement, choose the right chip: PCI Express specification as a result of more complicated, as a general application design, in order to shorten the development cycle, selection of a professional program interface.
根据PCIExpress协议，选择合适的芯片：由于PCIExpress规范比较复杂，作为一般应用设计，为缩短开发周期，选用专业接口方案。 - In addition, in accordance with the specification requirements of the safety in production, the installation of safety warning equipment, and software control system, increase the security protection program of the robot.
此外，还按照安全生产规范的要求，在硬件设备上加装了安全警告设备，以及在软件控制系统上，增加机器人的安全保护程序。 - The testing of software is a process that uses a group of testing data designed according to the specification and configuration of program to discover the mistakes inside the program.
软件测试是根据软件开发各阶段的规格说明和程序的内部结构而精心设计的一组测试数据，并利用这些测试数据运行程序，以发现程序错误的过程。